Nuprl Definition : loc
11,40
postcript
pdf
loc(
e
) == ecase1(
e
;
info
;
i
.
i
;
l
,
e'
.destination(
l
))
latex
clarification:
loc(
info
;
e
) == ecase1(
e
;
info
;
i
.
i
;
l
,
e'
.destination(
l
))
latex
Definitions
ecase1(
e
;
info
;
i
.
f
(
i
);
l
,
e'
.
g
(
l
;
e'
))
,
destination(
l
)
FDL editor aliases
loc
origin